#ifndef __SYSTEM_TICK_H
#define __SYSTEM_TICK_H
#include "hal_data.h"

typedef uint32_t TIMING_FORMAT;
// typedef  unsigned long TIMING_FORMAT;

void systick_init();
TIMING_FORMAT systick_get();

#endif
